perm filename INIT[1,LMM] blob
sn#013288 filedate 1972-11-18 generic text, type T, neo UTF8
(PROGN (LISPXPRIN1 (QUOTE "FILE CREATED ") T) (LISPXPRIN1 (QUOTE
"18-NOV-72 1:07:14") T) (LISPXTERPRI T))
(LISPXPRINT (QUOTE INITVARS) T)
(RPAQQ INITVARS ((FNS MAKECAT TRIVGRAPH CHORDLENGTH TST TST2) (VARS
TRIVALENTCODES CATALOG-LIST)))
(DEFINEQ
(MAKECAT
(LAMBDA (TVC) (FOR NEW X IN TVC AS NEW J IS (CAR X) LIST (FOR NEW
Y IN (CDR X) LIST (TRIVGRAPH J Y)))))
(TRIVGRAPH
(LAMBDA (J L) (PROG (S X Y LL N) (SETQ LL L) (SETQ S (SINGLERING J))
(SETQ X (FOR NEW I := (J 1 -1) XLIST I)) (FOR X ON X AS L ON L DO
(SETQ N (PLUS (CHORDLENGTH (CAR L)) (CAR X))) (CONNECT (FINDCTE (CAR
X) S) (FINDCTE N S) S) (SETQ X (DELETE N X))) (RETURN (STRUCTURE FROM
S UGRAPH = (CONS J LL))))))
(CHORDLENGTH
(LAMBDA (X) (CDR (SASSOC X (QUOTE ((A . 1) (B . 2) (C . 3) (D . 4)
(E . 5) (F . 6) (G . 7) (H . 8) (I . 9))) NIL))))
(TST
(LAMBDA NIL (PROGN (/SET (QUOTE T21) (STRUCTURE NODES = (QUOTE (1
2 3)) LASTNODE# = 3 UGRAPH = (QUOTE T21) CTABLE = (LIST (CTENTRY NODENUM
= 1 NBRS = (QUOTE (2 2 3 3))) (CTENTRY NODENUM = 2 NBRS = (QUOTE (1
1 3))) (CTENTRY NODENUM = 3 NBRS = (QUOTE (1 1 2)))))) (ADVISE (QUOTE
CATALOG) (QUOTE BEFORE) (QUOTE (COND ((EQUAL L (QUOTE (2 1))) (RETURN
(LIST T21)))))) (/SET (QUOTE T22) (FOR NEW X IN (CATALOG3 (QUOTE (4)))
FOR NEW Y IN (LABEL1 (NODETYPE NODENUMS = (QUOTE (1 2 3 4))) 2 X)
AS NEW Z IS (COPYSTRUC (LSTRUC Y)) XLIST (CONNECT (FINDCTE (CAR (
NODENUMS (LABELED Y))) Z) (FINDCTE (CADR (NODENUMS (LABELED Y))) Z))
Z)) (ADVISE (QUOTE CATALOG) (QUOTE BEFORE) (QUOTE (COND ((EQUAL L
(QUOTE (2 2))) (RETURN T22))))))))
(TST2
(LAMBDA NIL (/SET (QUOTE T41) (LIST (STRUCTURE LASTNODE# = 5 UGRAPH
(QUOTE T41KITE) CTABLE = (LIST (CTENTRY NODENUM = 1 NBRS = (QUOTE
(2 3 4 5))) (CTENTRY NODENUM = 2 NBRS = (QUOTE (1 3 5))) (CTENTRY
NODENUM = 3 NBRS = (QUOTE (1 2 4))) (CTENTRY NODENUM = 4 NBRS = (QUOTE
(1 3 5))) (CTENTRY NODENUM = 5 NBRS = (QUOTE (1 2 4))))) (STRUCTURE
LASTNODE# = 5 UGRAPH (QUOTE T41SCOOP) CTABLE = (LIST (CTENTRY NODENUM
= 1 NBRS = (QUOTE (2 2 4 5))) (CTENTRY NODENUM = 2 NBRS = (QUOTE (1
1 3))) (CTENTRY NODENUM = 3 NBRS = (QUOTE (2 4 5))) (CTENTRY NODENUM
= 4 NBRS = (QUOTE (1 3 5))) (CTENTRY NODENUM = 5 NBRS = (QUOTE (1
3 4))))) (STRUCTURE LASTNODE# = 5 UGRAPH (QUOTE T41FAN) CTABLE = (LIST
(CTENTRY NODENUM = 1 NBRS = (QUOTE (2 4 5 5))) (CTENTRY NODENUM =
2 NBRS = (QUOTE (1 3 3))) (CTENTRY NODENUM = 3 NBRS = (QUOTE (2 2
4))) (CTENTRY NODENUM = 4 NBRS = (QUOTE (1 3 5))) (CTENTRY NODENUM
= 5 NBRS = (QUOTE (1 1 4))))) (STRUCTURE LASTNODE# = 5 UGRAPH (QUOTE
T41RING) CTABLE = (LIST (CTENTRY NODENUM = 1 NBRS = (QUOTE (2 2 5
5))) (CTENTRY NODENUM = 2 NBRS = (QUOTE (1 1 3))) (CTENTRY NODENUM
= 3 NBRS = (QUOTE (2 4 4))) (CTENTRY NODENUM = 4 NBRS = (QUOTE (3
3 5))) (CTENTRY NODENUM = 5 NBRS = (QUOTE (1 1 4))))) (STRUCTURE
LASTNODE# = 5 UGRAPH (QUOTE T41HOURGLASS) CTABLE = (LIST (CTENTRY
NODENUM = 1 NBRS = (QUOTE (2 3 4 5))) (CTENTRY NODENUM = 2 NBRS =
(QUOTE (1 3 3))) (CTENTRY NODENUM = 3 NBRS = (QUOTE (1 2 2))) (CTENTRY
NODENUM = 4 NBRS = (QUOTE (1 5 5))) (CTENTRY NODENUM = 5 NBRS = (QUOTE
(1 4 4))))))) (ADVISE (QUOTE CATALOG) (QUOTE BEFORE) (QUOTE (COND
((EQUAL L (QUOTE (4 1))) (RETURN T41)))))))
)
(RPAQQ TRIVALENTCODES ((2 (A)) (4 (B B) (A A)) (6 (B C B) (A A A)
(A B B) (A C A) (C C C)) (8 (B C C B) (B D D B) (C E C C) (A A A A)
(A A B B) (A A C A) (A B C B) (A B D A) (A C D B) (A D D A) (A E B
B) (A E C A) (B B B B))))
(RPAQQ CATALOG-LIST (((STRUCTURE ((CTENTRY 2 (NIL) 1 1 1) (CTENTRY
1 (NIL) 2 2 2)) (2 A) 2 NIL)) ((STRUCTURE ((CTENTRY 4 (NIL) 2 1 3)
(CTENTRY 3 (NIL) 1 4 2) (CTENTRY 2 (NIL) 4 3 1) (CTENTRY 1 (NIL) 3
4 2)) (4 B B) 4 NIL) (STRUCTURE ((CTENTRY 4 (NIL) 3 1 3) (CTENTRY
3 (NIL) 4 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY 1 (NIL) 2 4 2)) (4
A A) 4 ((4 3 2 1)) ((4 3 2 1)) ((3 4 1 2)) ((2 1 4 3)) ((1 2 3 4))))
((STRUCTURE ((CTENTRY 6 (NIL) 4 1 5) (CTENTRY 5 (NIL) 2 6 4) (CTENTRY
4 (NIL) 6 5 3) (CTENTRY 3 (NIL) 1 4 2) (CTENTRY 2 (NIL) 5 3 1) (CTENTRY
1 (NIL) 3 6 2)) (6 B C B) 6 NIL) (STRUCTURE ((CTENTRY 6 (NIL) 5 1
5) (CTENTRY 5 (NIL) 6 6 4) (CTENTRY 4 (NIL) 3 5 3) (CTENTRY 3 (NIL)
4 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY 1 (NIL) 2 6 2)) (6 A A A)
6 NIL) (STRUCTURE ((CTENTRY 6 (NIL) 4 1 5) (CTENTRY 5 (NIL) 3 6 4)
(CTENTRY 4 (NIL) 6 5 3) (CTENTRY 3 (NIL) 5 4 2) (CTENTRY 2 (NIL) 1
3 1) (CTENTRY 1 (NIL) 2 6 2)) (6 A B B) 6 NIL) (STRUCTURE ((CTENTRY
6 (NIL) 3 1 5) (CTENTRY 5 (NIL) 4 6 4) (CTENTRY 4 (NIL) 5 5 3) (CTENTRY
3 (NIL) 6 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY 1 (NIL) 2 6 2)) (6
A C A) 6 NIL) (STRUCTURE ((CTENTRY 6 (NIL) 3 1 5) (CTENTRY 5 (NIL)
2 6 4) (CTENTRY 4 (NIL) 1 5 3) (CTENTRY 3 (NIL) 6 4 2) (CTENTRY 2
(NIL) 5 3 1) (CTENTRY 1 (NIL) 4 6 2)) (6 C C C) 6 NIL)) ((STRUCTURE
((CTENTRY 8 (NIL) 6 1 7) (CTENTRY 7 (NIL) 4 8 6) (CTENTRY 6 (NIL)
8 7 5) (CTENTRY 5 (NIL) 2 6 4) (CTENTRY 4 (NIL) 7 5 3) (CTENTRY 3
(NIL) 1 4 2) (CTENTRY 2 (NIL) 5 3 1) (CTENTRY 1 (NIL) 3 8 2)) (8 B
C C B) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 4 1 7) (CTENTRY 7 (NIL)
5 8 6) (CTENTRY 6 (NIL) 2 7 5) (CTENTRY 5 (NIL) 7 6 4) (CTENTRY 4
(NIL) 8 5 3) (CTENTRY 3 (NIL) 1 4 2) (CTENTRY 2 (NIL) 6 3 1) (CTENTRY
1 (NIL) 3 8 2)) (8 B D D B) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 5
1 7) (CTENTRY 7 (NIL) 2 8 6) (CTENTRY 6 (NIL) 3 7 5) (CTENTRY 5 (NIL)
8 6 4) (CTENTRY 4 (NIL) 1 5 3) (CTENTRY 3 (NIL) 6 4 2) (CTENTRY 2
(NIL) 7 3 1) (CTENTRY 1 (NIL) 4 8 2)) (8 C E C C) 8 NIL) (STRUCTURE
((CTENTRY 8 (NIL) 7 1 7) (CTENTRY 7 (NIL) 8 8 6) (CTENTRY 6 (NIL)
5 7 5) (CTENTRY 5 (NIL) 6 6 4) (CTENTRY 4 (NIL) 3 5 3) (CTENTRY 3
(NIL) 4 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY 1 (NIL) 2 8 2)) (8 A
A A A) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 6 1 7) (CTENTRY 7 (NIL)
5 8 6) (CTENTRY 6 (NIL) 8 7 5) (CTENTRY 5 (NIL) 7 6 4) (CTENTRY 4
(NIL) 3 5 3) (CTENTRY 3 (NIL) 4 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY
1 (NIL) 2 8 2)) (8 A A B B) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 5
1 7) (CTENTRY 7 (NIL) 6 8 6) (CTENTRY 6 (NIL) 7 7 5) (CTENTRY 5 (NIL)
8 6 4) (CTENTRY 4 (NIL) 3 5 3) (CTENTRY 3 (NIL) 4 4 2) (CTENTRY 2
(NIL) 1 3 1) (CTENTRY 1 (NIL) 2 8 2)) (8 A A C A) 8 NIL) (STRUCTURE
((CTENTRY 8 (NIL) 6 1 7) (CTENTRY 7 (NIL) 4 8 6) (CTENTRY 6 (NIL)
8 7 5) (CTENTRY 5 (NIL) 3 6 4) (CTENTRY 4 (NIL) 7 5 3) (CTENTRY 3
(NIL) 5 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY 1 (NIL) 2 8 2)) (8 A
B C B) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 4 1 7) (CTENTRY 7 (NIL)
6 8 6) (CTENTRY 6 (NIL) 7 7 5) (CTENTRY 5 (NIL) 3 6 4) (CTENTRY 4
(NIL) 8 5 3) (CTENTRY 3 (NIL) 5 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY
1 (NIL) 2 8 2)) (8 A B D A) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 4
1 7) (CTENTRY 7 (NIL) 5 8 6) (CTENTRY 6 (NIL) 3 7 5) (CTENTRY 5 (NIL)
7 6 4) (CTENTRY 4 (NIL) 8 5 3) (CTENTRY 3 (NIL) 6 4 2) (CTENTRY 2
(NIL) 1 3 1) (CTENTRY 1 (NIL) 2 8 2)) (8 A C D B) 8 NIL) (STRUCTURE
((CTENTRY 8 (NIL) 4 1 7) (CTENTRY 7 (NIL) 3 8 6) (CTENTRY 6 (NIL)
5 7 5) (CTENTRY 5 (NIL) 6 6 4) (CTENTRY 4 (NIL) 8 5 3) (CTENTRY 3
(NIL) 7 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY 1 (NIL) 2 8 2)) (8 A
D D A) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 3 1 7) (CTENTRY 7 (NIL)
5 8 6) (CTENTRY 6 (NIL) 4 7 5) (CTENTRY 5 (NIL) 7 6 4) (CTENTRY 4
(NIL) 6 5 3) (CTENTRY 3 (NIL) 8 4 2) (CTENTRY 2 (NIL) 1 3 1) (CTENTRY
1 (NIL) 2 8 2)) (8 A E B B) 8 NIL) (STRUCTURE ((CTENTRY 8 (NIL) 3
1 7) (CTENTRY 7 (NIL) 4 8 6) (CTENTRY 6 (NIL) 5 7 5) (CTENTRY 5 (NIL)
6 6 4) (CTENTRY 4 (NIL) 7 5 3) (CTENTRY 3 (NIL) 8 4 2) (CTENTRY 2
(NIL) 1 3 1) (CTENTRY 1 (NIL) 2 8 2)) (8 A E C A) 8 NIL) (STRUCTURE
((CTENTRY 8 (NIL) 6 1 7) (CTENTRY 7 (NIL) 5 8 6) (CTENTRY 6 (NIL)
8 7 5) (CTENTRY 5 (NIL) 7 6 4) (CTENTRY 4 (NIL) 2 5 3) (CTENTRY 3
(NIL) 1 4 2) (CTENTRY 2 (NIL) 4 3 1) (CTENTRY 1 (NIL) 3 8 2)) (8 B
B B B) 8 NIL))))
STOP